Formal Methods In Software Engineering – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods in Software Engineering" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:

Software Engineering and Formal Methods

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10--14, 2025.The 13 full papers and 2 sho…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 81,04

System Design in Software Engineering

This book offers a broad range of ideas from CoMeSySo 2024, highlighting theory and practice in modern computing. Researchers from diverse backgrounds present their latest findings on systems design, soft…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 81,04

Formal Methods in Architecture

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodol…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 306,65

New Challenges in Software Engineering

Trends in Software Engineering: A Bibliometric Study.- Faults Detection in Use Case Modeling Learning.- Measurement of information technology service quality for the Faster Payment Systems in Peru.- User-…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

New Perspectives in Software Engineering

The goal of this book is to provide a broad understanding on the New Perspectives in Software Engineering research. The advancement of computers, and mobile devices, among others, has led to the creation …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Agile Processes in Software Engineering and Extreme Programming

This open access book constitutes the proceedings of the 26th International Conference on Agile Software Development, XP 2025, which took place in Brugg-Windisch, Switzerland, during June 2-5, 2025.XP is …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Agile Processes in Software Engineering and Extreme Programming - Workshops

This open access book constitutes revised selected papers from the workshops held at the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, dur…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 43,80

Research Perspectives on Software Engineering and Systems Design

This book combines cutting-edge research addressing current challenges and emerging opportunities in computing, artificial intelligence, sustainability, and education. Through interdisciplinary insights, …

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Artificial Intelligence and System Engineering

Machine Learning Techniques to Identify the Importance of Data Driven Factors in Citation Classification.- Academic Performance of Students Related to Their Anxiety Levels: An Adaptive Network Model.- Mal…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Design Tools and Methods in Industrial Engineering IV

This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Design Tools and Methods in Industrial Engineering IV

This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Amiya K Jana
Numerical Methods in Engineering

Numerical methods are a cornerstone of modern engineering. This lucid textbook strikes a balance between theory and analysis of numerical methods and their practical applications in engineering. Each chap…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 124,41

Computer Methods in Biomechanics and Biomedical Engineering II

This book gathers selected, extended and revised contributions to the 18th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, held on May 3-5, 2023, at Arts Et Métiers…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 175,23

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 219,03

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94

Software Engineering: Emerging Trends and Practices in System Development

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This b…

lieferbar innerhalb 2-3 Wochen
Buch
Aktueller Preis: EUR 240,94
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.